|
In mathematics, Borel–de Siebenthal theory describes the closed connected subgroups of a compact Lie group that have ''maximal rank'', i.e. contain a maximal torus. It is named after the Swiss mathematicians Armand Borel and Jean de Siebenthal who developed the theory in 1949. Each such subgroup is the identity component of the centralizer of its center. They can be described recursively in terms of the associated root system of the group. The subgroups for which the corresponding homogeneous space has an invariant complex structure correspond to parabolic subgroups in the complexification of the compact Lie group, a reductive algebraic group. ==Connected subgroups of maximal rank== Let ''G'' be connected compact Lie group with maximal torus ''T''. Hopf showed that the centralizer of a torus ''S'' ⊆ ''T'' is a connected closed subgroup containing ''T'', so of ''maximal rank''. Indeed, if ''x'' is in C''G''(''S''), there is a maximal torus containing both ''S'' and ''x'' and it is contained in C''G''(''S''). Borel and de Siebenthal proved that the connected closed subgroups of maximal rank are precisely the identity components of the centralizers of their centers. Their result relies on a fact from representation theory. The weights of an irreducible representation of a connected compact semisimple group ''K'' with highest weight λ can be easily described (without their multiplicities): they are precisely the saturation under the Weyl group of the dominant weights obtained by subtracting off a sum of simple roots from λ. In particular, if the irreducible representation is trivial on the center of ''K'' (a finite abelian group), 0 is a weight.〔See: * * * * 〕 To prove the characterization of Borel and de Siebenthal, let ''H'' be a closed connected subgroup of ''G'' containing ''T'' with center ''Z''. The identity component ''L'' of C''G''(Z) contains ''H''. If it were strictly larger, the restriction of the adjoint representation of ''L'' to ''H'' would be trivial on ''Z''. Any irreducible summand, orthogonal to the Lie algebra of ''H'', would provide non-zero weight zero vectors for ''T'' / ''Z'' ⊆ ''H'' / ''Z'', contradicting the maximality of the torus ''T'' / ''Z'' in ''L'' / ''Z''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Borel–de Siebenthal theory」の詳細全文を読む スポンサード リンク
|